141. Information technology and applied mathematics :
پدیدآورنده : Peeyush Chandra [and others], editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics, Congresses.,Cryptography.,Computer science-- Mathematics.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Cryptography.
رده :
QA76
.
9
.
M35
142. Inherently parallel algorithms in feasibility and optimization and their applications /
پدیدآورنده : edited by Dan Butnariu, Yair Censor, Simeon Reich.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematical optimization, Congresses.,Parallel algorithms, Congresses.,Mathematical optimization.,MATHEMATICS-- Optimization.,Parallel algorithms.
رده :
QA402
.
5
.
R47
2000eb
143. Innovations in smart cities and applications :
پدیدآورنده : Mohamed Ben Ahmed, Anouar Abdelhakim Boudhir, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Cities and towns-- Technological innovations, Congresses.,City planning-- Technological innovations, Congresses.,Smart cities, Congresses.,Artificial intelligence.,City planning-- Technological innovations.,POLITICAL SCIENCE-- Public Policy-- City Planning & Urban Development.,Smart cities.
رده :
TD159
.
4
.
M44
2nd
2018eb
144. Integral Methods in Science and Engineering :
پدیدآورنده : Christian Constanda, Paul Harris, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Engineering mathematics, Congresses.,Integral equations-- Numerical solutions, Congresses.,Mathematical analysis, Congresses.,Science-- Mathematics, Congresses.,Engineering mathematics.,Integral equations-- Numerical solutions.,Mathematical analysis.,Science-- Mathematics.
رده :
QA431
.
I584
2018
145. Intelligent CAD systems II :implementational issues
پدیدآورنده : V. Akman, P.J.W. ten Hagen, P.J. Veerkamp (eds.)
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Computer-aided design--Congresses,Engineering design--Data processing--Congresses,Artificial intelligence--Congresses
رده :
TA
،
174
،.
I465
،
1989
146. Intelligent and congnitive systems: Proceedings of the International Conference on Intelligent Systems Research Faculty, September 23-26, 1996, Tehran, Ira
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Cognition-- Mathematical models-- Congresses,، Cognition-- Data processing-- Congresses,، Cognition science-- Congresses,، Electronic digital computers-- Programming-- Congresses
رده :
BF
311
.
I5664
1996
147. Intelligent computer mathematics :
پدیدآورنده : Cezary Kaliszyk [and 3 others] (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence-- Mathematics, Congresses.,Computer science-- Mathematics, Congresses.,Artificial intelligence-- Mathematics.,Computer science-- Mathematics.
رده :
QA76
.
9
.
M35
C53
2019
148. Intelligent computer mathematics
پدیدآورنده : / Serge Autexier ... [et al] (eds.
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Algebra--Data processing--Congresses,Mathematical analysis--Data processing--Congresses,Logic, Symbolic and mathematical--Congresses
رده :
QA
,
155
.
7
,.
E4
,
A35
,
2010
149. Intelligent mathematical software systems
پدیدآورنده : / edited by E. N. Houstis, J. R. Rice, R, Vichnevetsky
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Mathematics-- Data processing -- Congresses,Numerical analysis -- Data processing -- Congresses,Exoert systems -- Congresses,Software -- Congresses
رده :
QA
76
.
95
.
I46
1988
150. International commercial law :
پدیدآورنده : by Amelia H. Boss, Wolfgang Kilian.
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
151. Introducing TPCK / Matthew J. Koehler and Punya Mishra -- Bridging digital and cultural divides: TPCK for equity of access to technology / Mario Antonio Kelly -- TPCK in K-6 literacy education: it's not that elemen
پدیدآورنده : edited by AACTE Committee on Innovation and Technology.
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
153. Language and automata theory and applications :
پدیدآورنده : edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
رده :
QA267
.
L38
2018
154. Limitations and future trends in neural computation /
پدیدآورنده : edited by Sergey Ablameyko [and others].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Neural computers, Congresses.,Neural networks (Computer science), Congresses.,COMPUTERS-- Neural Networks.,Neural computers.,Neural networks (Computer science)
رده :
QA76
.
87
.
N37
2001eb
155. Maple V:
پدیدآورنده : Robert J. Lopez, editor.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computerwiskunde.,Maple V.,Mathematics -- Congresses -- Data processing.
156. Maple V:
پدیدآورنده : Robert J. Lopez, editor.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computerwiskunde.,Maple V.,Mathematics -- Congresses -- Data processing.
157. Mathematical foundations of computer science 1988: proceedings of the 13th symposium, Carlsbad, Czechoslovakia, August 29-September 2, 1988
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Electronic data processing-- Mathematics
رده :
QA
76
.
9
.
M35
.
S95
1988
158. Mathematical knowledge management
پدیدآورنده : / Andrea Asperti, Bruno Buchberger, James H. Davenport (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Mathematics--Data processing--Congresses,Information storage and retrieval systems--Mathematics--Congresses,Automatic theorem proving--Congresses
رده :
QA
,
76
.
95
,.
I565
,
2003
159. Mathematical knowledge management :Second International Conference MKM 2003, Bertinoro, Italy, February 16-18, 2003, proceedings
پدیدآورنده : Andrea Asperti, Bruno Buchberger, James H. Davenport )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Data processing -- Congresses ، Mathematics,Mathematics -- Congresses ، Information storage and retrieval systems,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
2594
160. Mathematical knowledge management : Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004 : proceedings
پدیدآورنده : Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Data processing -- Congresses ، Mathematics,Mathematics -- Congresses ، Information storage and retrieval systems,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
3119
